Georg Struth: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Diagram Chase in Relational System Development

Michael Ebert, Georg Struth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 293 KB

english, 2005

2

Algebraic notions of nontermination: Omega and divergence in idempotent semirings

Peter Höfner, Georg Struth

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

3

Programming and automating mathematics in the Tarski–Kleene hierarchy

Armstrong, Alasdair, Struth, Georg, Weber, Tjark

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2014

Language:

english

File:

PDF, 328 KB

english, 2014

4

Completeness results for omega-regular algebras

Cranch, James, Laurence, Michael R., Struth, Georg

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 517 KB

english, 2015

5

On the expressive power of Kleene algebra with domain

Journal:

Information Processing Letters

Year:

2016

Language:

english

File:

PDF, 241 KB

english, 2016

6

Developments in concurrent Kleene algebra

Hoare, Tony, van Staden, Stephan, Möller, Bernhard, Struth, Georg, Zhu, Huibiao

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

7

Kleisli, Parikh and Peleg Compositions and Liftings for Multirelations

Furusawa, Hitoshi, Kawahara, Yasuo, Struth, Georg, Tsumagari, Norihiro

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 423 KB

english, 2017

8

Schedulers and finishers: On generating and filtering the behaviours of an event structure

McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 962 KB

english, 2018

9

Relational and algebraic methods in computer science

Höfner, Peter, Pous, Damien, Struth, Georg

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 148 KB

2019

10

Can Refinement be Automated?

Peter Höfner, Georg Struth

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

11

Internal axioms for domain semirings

Jules Desharnais, Georg Struth

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 371 KB

english, 2011

12

Automated verification of refinement laws

Peter Höfner, Georg Struth, Geoff Sutcliffe

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 411 KB

english, 2009

13

Modal Tools for Separation and Refinement

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 342 KB

english, 2008

14

Algebras of modal operators and partial correctness

Bernhard Möller, Georg Struth

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 252 KB

english, 2006

15

Knuth-Bendix Completion for Non-Symmetric Transitive Relations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 193 KB

english, 2001

16

Abstract abstract reduction

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 381 KB

english, 2006

17

Relations and Kleene Algebras in Computer Science

Renate A. Schmidt, Georg Struth

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 67 KB

english, 2008

18

Concurrent Kleene Algebra and its Foundations

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 554 KB

english, 2011

19

Relations and Kleene algebras in computer science

Rudolf Berghammer, Bernhard Möller, Georg Struth

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 171 KB

english, 2010

20

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Kleene Algebra with Relations

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2004

Language:

english

File:

PDF, 245 KB

english, 2004

21

Left omega algebras and regular equations

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 294 KB

english, 2012

22

[Undergraduate Topics in Computer Science] Modelling Computing Systems ||

Moller, Faron, Struth, Georg

Year:

2013

Language:

english

File:

PDF, 15.23 MB

english, 2013

23

On the Fine-Structure of Regular Algebra

Foster, Simon, Struth, Georg

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 899 KB

english, 2015

24

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set Theory

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

25

[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2008

Language:

english

File:

PDF, 549 KB

english, 2008

26

[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach II: Dioids, Quantales and Monads

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2008

Language:

english

File:

PDF, 507 KB

english, 2008

27

Kleene algebra with domain

Desharnais, Jules, Möller, Bernhard, Struth, Georg

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 221 KB

english, 2006

28

Building program construction and verification tools from algebraic principles

Armstrong, Alasdair, Gomes, Victor B. F., Struth, Georg

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 872 KB

english, 2016

29

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Pointer Kleene Algebra

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2004

Language:

english

File:

PDF, 316 KB

english, 2004

30

Probabilistic rely-guarantee calculus

McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 869 KB

english, 2016

31

Convolution as a Unifying Concept

Dongol, Brijesh, Hayes, Ian J., Struth, Georg

Journal:

ACM Transactions on Computational Logic

Year:

2016

Language:

english

File:

PDF, 376 KB

english, 2016

32

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 ||

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 6.11 MB

english, 2017

33

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 || Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 382 KB

english, 2017

34

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 || Reasoning About Cardinalities of Relations with Applications Supported by Proof Assistants

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 683 KB

english, 2017

35

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 || Aggregation of Votes with Multiple Positions on Each Issue

Höfner, Peter, Pous, Damien, Struth, Georg

Year:

2017

Language:

english

File:

PDF, 270 KB

english, 2017

36

Hoare Semigroups

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 216 KB

english, 2018

37

Schedulers and finishers: On generating and filtering the behaviours of an event structure

McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Journal:

Theoretical Computer Science

Year:

2018

File:

PDF, 962 KB

2018

38

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Towards a Formalisation of Relational Database Theory in Constructive Type Theory

Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Year:

2004

Language:

english

File:

PDF, 163 KB

english, 2004

39

[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Decomposing Relations into Orderings

Berghammer, Rudolf, MÃ¶ller, Bernhard, Struth, Georg

Year:

2004

File:

PDF, 187 KB

2004

40

Dates and rates of endo-exorheic drainage development: Insights from fluvial terraces (Duero River, Iberian Peninsula)

RodrÃguez-RodrÃguez, Laura, AntÃ³n, Loreto, RodÃ©s, Ãngel, PallÃ s, Raimon, GarcÃa-Castellanos, Daniel, JimÃ©nez-Munt, Ivone, Struth, LucÃa, Leanni, LaÃ«titia, AumaÃ®tre, Georges, BourlÃ¨s, Didie

Journal:

Global and Planetary Change

Year:

2020

File:

PDF, 15.82 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски